<?php
	
if (isset($_SESSION['login']))
{
?>
	<table>
		<tr>
			<td><a href="accueil.php">Accueil</td>
			<td><a href="tableau_de_bord.php">Tableau de bord</td>
			<td><a href="gestion_regles.php">Gestion des r&egrave;gles</td>
			<td><a href="gestion_capteurs.php">Gestion des capteurs</td>
			<td><a href="gestion_actionneurs.php">Gestion des actionneurs</td>
			<td><a href="log.php">log</td>
			<td><a href="deconnexion.php">D&eacute;connexion</a></td>
		</tr>
	</table>
<?php
}
else
{
?>
	<table>
		<tr>
			<td><a href="connexion.php?redirection=accueil.php">Connexion</a></td>
			<td><a href="inscription.php">Inscription</a></td>
		</tr>
	</table>
<?php
}
?>